Skip to content

Conversation

@jnavila
Copy link

@jnavila jnavila commented Nov 16, 2025

This is the continuity of the conversion to the synopsis style with a few additional formatting changes.

- Switch the synopsis to a synopsis block which will automatically
  format placeholders in italics and keywords in monospace
- Use _<placeholder>_ instead of <placeholder> in the description
- Use `backticks` for keywords and more complex option
descriptions. The new rendering engine will apply synopsis rules to
these spans.

Signed-off-by: Jean-Noël Avila <[email protected]>
- Switch the synopsis to a synopsis block which will automatically
  format placeholders in italics and keywords in monospace
- Use _<placeholder>_ instead of <placeholder> in the description
- Use `backticks` for keywords and more complex option
descriptions. The new rendering engine will apply synopsis rules to
these spans.

Signed-off-by: Jean-Noël Avila <[email protected]>
- Switch the synopsis to a synopsis block which will automatically
  format placeholders in italics and keywords in monospace
- Use _<placeholder>_ instead of <placeholder> in the description
- Use `backticks` for keywords and more complex option
descriptions. The new rendering engine will apply synopsis rules to
these spans.

Signed-off-by: Jean-Noël Avila <[email protected]>
@jnavila jnavila changed the title Doc git fetch doc: convert fetch pull push to synopsis style Nov 19, 2025
@jnavila
Copy link
Author

jnavila commented Nov 19, 2025

/submit

@gitgitgadget
Copy link

gitgitgadget bot commented Nov 19, 2025

Submitted as [email protected]

To fetch this version into FETCH_HEAD:

git fetch https://github.com/gitgitgadget/git/ pr-2002/jnavila/doc_git_fetch-v1

To fetch this version to local tag pr-2002/jnavila/doc_git_fetch-v1:

git fetch --no-tags https://github.com/gitgitgadget/git/ tag pr-2002/jnavila/doc_git_fetch-v1

@gitgitgadget
Copy link

gitgitgadget bot commented Nov 20, 2025

This patch series was integrated into seen via git@522de41.

@gitgitgadget gitgitgadget bot added the seen label Nov 20, 2025
@gitgitgadget
Copy link

gitgitgadget bot commented Nov 20, 2025

This patch series was integrated into seen via git@9ac6ac4.

@gitgitgadget
Copy link

gitgitgadget bot commented Nov 21, 2025

This branch is now known as ja/doc-synopsis-style.

@gitgitgadget
Copy link

gitgitgadget bot commented Nov 21, 2025

This patch series was integrated into seen via git@d121cd9.

@gitgitgadget
Copy link

gitgitgadget bot commented Nov 21, 2025

This patch series was integrated into next via git@eb9c170.

@gitgitgadget gitgitgadget bot added the next label Nov 21, 2025
@gitgitgadget
Copy link

gitgitgadget bot commented Nov 24, 2025

This patch series was integrated into seen via git@52f29f9.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant